- выражений вместе с процедурами преобразования одних выражений в другие
- выражений, состоящих из элементов некоторого фиксированного множества (алфавита языка)
- интерпретированных выражений
- интерпретированных выражений вместе с определенными процедурами логической дедукции
Внимание! Верный ответ отмечен зелёным цветом.
Загрузка ответа...
Если через несколько секунд ответ не появился, то проверьте соединение с интернетом и нажмите на кнопку